first fundamental theorem